<html>
<body>
报告推断类型与变量的预期类型不匹配的实例和类变量赋值。 预期的变量类型取自 RBS 类型签名。
</body>
</html>